MAP/i - Foundations of Computing
Option I: Program Semantics, Verification, and Construction
Cancel
Search
:
^s
Education/MapiFc Web
Changed
Changed by
Syllabus0708
27 Sep 2008 - 11:45 - r3
JoseBacelarAlmeida
Chapter I: Overview of Foundations (5 3 hours) 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem ...
Syllabus0809
27 Sep 2008 - 11:31 -
NEW
JoseBacelarAlmeida
Chapter I: Overview of Foundations 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem) 4. ...
Found
2
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM